A layered semantics for a parallel object-oriented language
نویسندگان
چکیده
منابع مشابه
A Novel Formal Semantics for a Parallel Object-Oriented Language
The Parallel Object-Oriented language POOL integrates object-oriented characteristics with synchronous communication among objects. A novel formal description of POOL is given here. The description is written using Mosses' action notation style of formal speciication. It is then, compared with other formal speciications of the language. Understandability, extensibility and modularity are the ma...
متن کاملDenotational Semantics of a Parallel Object-Oriented Language
A denotational model is presented for the language POOL, a parallel objectoriented language. It is a syntactically simplified version of POOL-T, a language that is actually used to write programs for a parallel machine. The most important aspect of this language is that it describes a system as a collection of communicating objects that all have internal activities which are executed in paralle...
متن کاملGame semantics for an object-oriented language
This thesis investigates the relationship between object-oriented programming languages and game models of computation. These are intuitively well matched: an object encapsulates some internal state and presents some behaviour to the world via its publicly visible methods, while a strategy for some game represents the possible interactions of a program with its environment. We work with a simpl...
متن کاملSemantics for a Real-Time Object-Oriented Programming Language
This paper presents a framework to define a semantics for a real-time object-orientation programming language and to verify programs written in the language. The semantics is defined as the collection of translation rules that map the syntactic constructions of the language into expressions in a process calculus extended with the notion of time. By using the expressive capabilities of the calcu...
متن کاملSemantics for a Real-Time Object-Oriented Programming Language
Writer def = new Writer :getid(i):id Writer (i):(ClassDec 0 Writer j run:(LocY j (t stat) :idle:Body 0 Writer;i)) n LY Body 0 Writer;i def = calli;start(j):(LocX jwriteX(j):run:reti;start(true): (t stat) :idle: run:(hcallj;put(^ 1):retj;put(x):reply(x):0 ; abort:0i3 j hreply(y):writeY (y): (t stat) :idle: 1 1 1 1 1 1Body 0 Writer;i ; reply(y):0 + abort:0 j write Y (error): (t stat) :idle: 1 1 1...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Aspects of Computing
سال: 1992
ISSN: 0934-5043,1433-299X
DOI: 10.1007/bf01211312